University of Cambridge - Human-computer interaction, electronic design automation, self-timed circuits.

Article by his wife describing his life, work, and achievements.

Ph.D. student working in the Theory and Semantics Group at the Computer Laboratory, University of Cambridge.

University of Cambridge - Secure encapsulation, pi-calculus, mobile agents, operational semantics, locality typing.

University of Cambridge - Automated reasoning, implementation and application of higher order logic.

By Alan F. Blackwell of the University of Cambridge.

University of Cambridge, Computer Lab. Many interesting network OS oriented projects, including Nemesis OS.

An overview of how TeX handles fonts, and how to install new postscript fonts for use with a TeX system.

The official site. Includes the final image of the machine being switched off, a non-technical biography, and an audio copy of a 1994 radio report.

Information about Unicode fonts for Linux and X11 users.